机译:CSP Z流程的组成抽象
机译:用于CSP发电应用的新型粒子 - 流体直接接触反流式热交换器:设计特征和实验测试
机译:通过对CSP进行建模以评估和测试入侵检测系统来生成攻击方案
机译:基于CSP和PAT的并发软件测试方法
机译:有效的基于启发式的并发软件测试生成技术。
机译:下的O-苄基黄药酯Ni / Photoredox双重催化:选择性自由基生成和Csp3-Csp2交叉偶联
机译:面向Csp并发过程的组合测试用例生成的新扩展关系
机译:Csp过程网络的组合验证:使用FDR2验证接口差异事件中的细化。